#include <stdio.h>
#include <stdlib.h>
#include "memory.h"
#include "test-bench.h"

int main () {
  mem_state state;
  unsigned long mem_size = 892012340;
  
  state.width = 1;
  state.len = mem_size;
  state.maxlen = mem_size;
  state.line = STRIDE;
  state.pagesize = getpagesize();

  //stride_initialize(0,&state);
  thrash_initialize(0,&state);
  memory_read_bytes(&state,132123121);
  memory_write_bytes(&state,123123122);
}
